CatDat

Implication Details

Assumptions: self-dualℵ₂-small powers

Conclusions: ℵ₂-small copowers

Proof: This holds by self-duality.